Unconventional and Nested Computations in Spatial Computing

نویسندگان

  • Jean-Louis Giavitto
  • Olivier Michel
  • Antoine Spicher
چکیده

Modern programming languages allow the definition and the use of arbitrary nested data structures but this is not generally considered in unconventional programming models. In this paper, we present arbitrary nested topological collections in MGS, a spatial computing language. By considering different classes of neighborhood relationships, MGS can emulate several unconventional computing models from a programming point of view. The use of arbitrary nested spatial structures allows a hierarchical form of coupling between them. Furthermore, we propose an extension of the MGS pattern-matching facilities to handle nesting explicitly. This makes possible the emulation of a larger class of unconventional programming models.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Arbitrary Nesting of Spatial Computations

Modern programming languages allow the definition and the use of arbitrary nested data structures but this is not generally considered in unconventional programming models. In this paper, we present arbitrary nesting in MGS, a spatial computing language. By considering different classes of neighborhood relationships, MGS can emulate several unconventional computing models from a programming poi...

متن کامل

Programming Unconventional Computers: Dynamics, Development, Self-Reference

Classical computing has well-established formalisms for specifying, refining, composing, proving, and otherwise reasoning about computations. These formalisms have matured over the past 70 years or so. Unconventional Computing includes the use of novel kinds of substrates–from black holes and quantum effects, through to chemicals, biomolecules, even slime moulds–to perform computations that do ...

متن کامل

Visual Reasoning by Generalized Interval-values and Interval Temporal Logic

Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64etc. bit based computations. It represents data as specific subsets of the unit interval – in this sense this paradigm is classified into the continuous space machine paradigm near to optical computing. In this paper we show the visual reasoning power of interval-valued computatio...

متن کامل

UNCONVENTIONAL COMPUTING PROBLEMS ? Selim

An evolving computation is one whose characteristics vary during its execution. These variations have many di erent origins and can manifest themselves in several ways. Thus, for example, the parameters of a computation, such as the data it uses, may vary with time independently of the computational environment in which the computation is carried out. Alternatively, it may be that the data inte...

متن کامل

Natural Computing/unconventional Computing and Its Philosophical Significance

Classical computing has well-established formalisms forspecifying, refining, composing, proving, and otherwise reasoningabout computations. These formalisms have matured over the past70 years or so.Unconventional Computing includes the use novel kinds of sub-strates – from black holes and quantum effects, through to chem-icals, biomolecules, even slime moulds – to perfor...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IJUC

دوره 9  شماره 

صفحات  -

تاریخ انتشار 2013